Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
921	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.wustl.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
922	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.univ-lyon1.fr Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
923	Teaching Grammar: Why Bother? Stephen Krashen 1998 California English Research on the relationship between formal grammar instruction and performance on measures of writing ability is very consistent: There is no relati Add to Reading List Source URL: www.tprstories.com Language: English - Date: 2012-02-03 18:51:17 Language Applied linguistics Second-language acquisition Cognitive science Stephen Krashen Second language Grammar French language English grammar Languages of Africa Linguistics Culture
924	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
925	A A Semantic Web Approach To Everyday Overlapping Markup Angelo Di Iorio, , Department of Computer Science, University of Bologna Silvio Peroni, , Department of Computer Science, Uni Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2013-02-22 04:04:35 Web standards Formal languages Semantic HTML Business cards Metadata publishing EARMARK VCard RDFa Microformat Computing World Wide Web Semantic Web
926	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran-mirror.cs.uu.nl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
927	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
928	The Fixed String of Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Theoretical computer science Discrete mathematics Character encoding String L-system FO Formal languages Mathematics Combinatorics on words
929	Microsoft Word - Role16.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:31:20 Software development Knowledge Formal methods Cybernetics System Systems science Abstraction Model checking Complexity Science Computing Programming paradigms
930	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.repo.bppt.go.id Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE